Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
61	Automatic selection of table areas in documents for information extraction Ana Costa e Silva1, Alípio Jorge2, Luís Torgo2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Computing Data management Arrays Computer programming Algorithm Mathematical logic Theoretical computer science Join Lookup table HTML element Periodic table Hash table
62	Mathematical Optimization at BASF - A Quarter Century and More... Josef Kallrath BASF SE Scientific Computing GMC/MS-B009, 67056 Ludwigshafen, Germany e-mail: Add to Reading List Source URL: or2015.univie.ac.at Language: English - Date: 2015-07-09 02:41:35 Mathematical optimization Numerical analysis Operations research Mathematics Mathematical analysis Mathematical modeling Computer algebra systems Global optimization Mathematical model Nl Linear programming Optimization Toolbox
63	Grade 2 Module 6 Eureka Math™ Tips for Parents New Terms in this Module: Add to Reading List Source URL: greatminds.net Language: English - Date: 2015-07-29 21:34:13 Mathematics Algebra Abstract algebra Elementary arithmetic Binary operations Mathematical notation Matrix Mathematics education Multiplication Subtraction Addition Array programming
64	E¢ cient Allocations with Moral Hazard and Hidden Borrowing and Lending: A Recursive Formulation Árpád Ábrahám y and Nicola Pavoni z MayAbstract Add to Reading List Source URL: apps.eui.eu Language: English - Date: 2011-02-21 08:55:53 Computer programming Academia Mathematical optimization Software engineering Equations Asymmetric information Game theory Economic theories Contract theory Dynamic programming Recursion
65	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient
66	Unifying Local Consistency and MAX SAT Relaxations for Scalable Inference with Rounding Guarantees Stephen H. Bach University of Maryland Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-01-26 18:37:33 Graphical models Mathematics Mathematical analysis Probability Mathematical optimization Combinatorial optimization Linear programming Operations research Markov random field Linear programming relaxation Relaxation Randomized rounding
67	1 Optimizing Busy Time on Parallel Machines George B. Mertzios∗ , Mordechai Shalom† , Ariella Voloshin‡ , Prudence W.H. Wong§ and Shmuel Zaks‡ ∗ School of Engineering and Computing Sciences, Durham University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2012-02-08 11:20:14 Graph theory Mathematics Operations research Mathematical optimization NP-complete problems Dynamic programming Equations Systems engineering Independent set Interval scheduling Interval graph Approximation algorithm
68	Higher-Order Derivatives in Engineering Applications Add to Reading List Source URL: www.autodiff.org Language: English - Date: 2008-08-29 02:28:59 Mathematical optimization Mathematical analysis Analysis Mathematics Trajectory optimization Nonlinear programming KarushKuhnTucker conditions Automatic differentiation Lagrange multiplier BroydenFletcherGoldfarbShanno algorithm Hessian matrix Linear programming
69	Spread Options Optimal Switching Extensions The Real Option Approach to Plant Valuation: from Spread Options to Optimal Switching Add to Reading List Source URL: www.bbk.ac.uk Language: English - Date: 2007-03-27 13:47:16 Mathematical optimization Mathematical finance Dynamic programming Optimal stopping Calpine Statistics Applied mathematics
70	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic

UPDATE